TAGs: infinite algebra solving systems